ATMOL: A Domain-Specific Language for Atmospheric Modeling
نویسنده
چکیده
This paper describes the design and implementation of ATMOL: a domain-specific language for the formulation and implementation of atmospheric models. ATMOL was developed in close collaboration with meteorologists at the Royal Netherlands Meteorological Institute KNMI to ensure ease of use, concise notation, and the adoptation of common notational conventions. ATMOL’s expressiveness allows the formulation of high-level and low-level model details as language constructs for problem refinement and code synthesis. The atmospheric models specified in ATMOL are translated into efficient numerical codes with CTADEL, a tool for symbolic manipulation and code synthesis.
منابع مشابه
Automatic Generation of a Multi Agent System for Crisis Management by a Model Driven Approach
Considering the increasing occurrences of unexpected events and the need for pre-crisis planning in order to reduce risks and losses, modeling instant response environments is needed more than ever. Modeling may lead to more careful planning for crisis-response operations, such as team formation, task assignment, and doing the task by teams. A common challenge in this way is that the model shou...
متن کاملDesign Specification of Cyber-Physical Systems: Towards a Domain-Specific Modeling Language based on Simulink, Eclipse Modeling Framework, and Giotto
In this paper, we propose a domain-specific modeling language for specifying the design of cyber-physical systems. The proposed domain-specific modeling language can capture the control, computing, and communication aspects of a cyber-physical system design in an integrated manner. The concrete syntax of the proposed domainspecific modeling language has been implemented as an extension of stand...
متن کاملA VFSA Scheduler for Radiative Transfer Data in Climate Models
Scheduling and load-balancing techniques play an integral role in reducing the overall execution time of scientific applications on clustered multi-node systems. The increasing computational complexity and higher modeling resolutions of scientific applications makes balanced resource allocation a high priority. While many existing load-balancing approaches attempt to reduce cluster communicatio...
متن کاملAdvancement of Infrasound Propagation Calculation Techniques Using Mesoscale Atmospheric and Terrain Specifications
Numerical calculation of infrasound propagation paths is necessary to support accurate infrasound event identification, phase association, and source location. Predicting the details of infrasound propagation relies both on propagation models that capture the fundamental physical processes and on characterization of the propagation medium, namely the global atmosphere from the ground to altitud...
متن کامل